derivative of the integral